{"entities":{"Q5309080":{"pageid":7338654,"ns":120,"title":"Item:Q5309080","lastrevid":50178845,"modified":"2026-01-13T09:58:09Z","type":"item","id":"Q5309080","labels":{"en":{"language":"en","value":"Decomposable theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5198557"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$992B73E9-E6C8-4A77-9A45-804EF9B36A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"077b102321e946da48286d92c175f2eba689db01","datavalue":{"value":{"text":"Decomposable theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5309080$CC5C5F43-2894-49EA-BC83-FF01C34C0529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9605ce8c2ea189d997d124748770d54b6f86081e","datavalue":{"value":"1129.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309080$EB7CB910-3BC4-45A1-B9FB-B582F99D5FC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61176d6fb0432347774f5ff87559202781d972cf","datavalue":{"value":"10.1017/S1471068406002997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309080$3BB005D4-8C75-498D-BC0A-2C10157A4DFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3fef7deccd0656d7d161320bc2e1c8f9a52e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1044228,"id":"Q1044228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$0FE57042-E544-401D-BCAC-F374F22F1D6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$99046CCF-1393-4601-A4BF-B7EF9736A235","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1c6d1eb5a1881a1c15c479f8c9d6be5d5505633","datavalue":{"value":{"time":"+2007-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5309080$09476844-C3DF-489B-89D7-05B8B5F09852","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309080$9B156D79-1DFD-4D6F-B54D-5590E1AA17EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309080$A0A35223-77BF-43E3-81AA-0F3170A8FFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309080$928DB7B9-C94D-4F7B-983C-E36A22423094","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e9799c6e8bb45ec1e3e6438d090c00b8d94b8b3","datavalue":{"value":"5198557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5309080$CB1B6CC1-BD77-439C-8A57-AC2DDD868EF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e419648daee84246ea87ee9b915b28e3bdb676","datavalue":{"value":"first-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309080$0CFFAAE7-4A2B-42D5-8C33-A556742D28B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5309080$AC810CC6-F06B-4480-A4FC-5C5B3398FF14","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$B80974EA-64A1-4363-A93A-A4090416DA7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f26918fbada64c1f3b77f3fcc6bd24c4b07c93","datavalue":{"value":{"entity-type":"item","numeric-id":3184508,"id":"Q3184508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$A5B2CA59-2134-4299-9F6D-8A9F3E8763C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$67DFFFBD-3C2E-4ECA-B0A9-BB043076839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$A979978D-5379-4ED8-897E-6E081D5E5EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$9B27E316-1189-4200-8539-118735BE9DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795b80bcc45636783a7e3a0cd8702bd151d2a5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1424767,"id":"Q1424767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$D4091612-26E0-4820-B485-B52D0F5E8988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$122CF68A-7C7A-4544-A0AD-20D1B29833BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$D395FCBC-E529-4B91-94E9-BA27878C021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5309080$500BF7FC-A4A2-4ABD-92E5-288AAECA8762","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c50c0ddf136271e8ab5547226b263e8c692bb2b","datavalue":{"value":{"entity-type":"item","numeric-id":1044229,"id":"Q1044229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e6133592d835510c48022f51e52dbd6e8c137f","datavalue":{"value":{"amount":"+0.8242083191871643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309080$FE282701-C8E3-4391-B453-AA112272C8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6bb93d9d363413f0ca3dc1d6e174743bc5112e","datavalue":{"value":{"entity-type":"item","numeric-id":5505492,"id":"Q5505492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83d7af89676b22516365e8412e3e1cd72bfa665","datavalue":{"value":{"amount":"+0.8201318979263306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309080$1CE273F2-74DA-4D1F-A55F-905A7D02BDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a4e48a4cab516375474563ef7e7afd7364f1d5","datavalue":{"value":{"entity-type":"item","numeric-id":5191405,"id":"Q5191405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e327baa0bb944837897301ea3ed86c531e7f4353","datavalue":{"value":{"amount":"+0.8170286417007446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309080$74844DDA-6B89-469F-AE9F-1F0E1A732830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3912158827b513dbbddd4f45c94076d3c1af84ef","datavalue":{"value":{"entity-type":"item","numeric-id":1045812,"id":"Q1045812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159f9d6a27009295f0092a41493ee3c23fe8ae8f","datavalue":{"value":{"amount":"+0.8163487315177917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309080$0F279F14-C89D-48B9-9CCF-51789AD4C9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be264367db8026ea0cbdded388c5e0deda9a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5302901,"id":"Q5302901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172403411119b44e9b0b2a8f4f71525f31f43683","datavalue":{"value":{"amount":"+0.7933093309402466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5309080$32226CA7-12D0-4762-8B99-7382FABC033A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5309080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5309080"}}}}}