{"entities":{"Q5191405":{"pageid":7220977,"ns":120,"title":"Item:Q5191405","lastrevid":100431965,"modified":"2026-06-05T22:07:16Z","type":"item","id":"Q5191405","labels":{"en":{"language":"en","value":"An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5590888"}},"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":"Q5191405$625F13E0-87E1-438B-8EAE-4E2BB763B278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de43763d19ccb192eb46679f43b6e66bec145ac1","datavalue":{"value":{"text":"An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191405$53CA3562-5D14-4357-82F0-AE86D9D69755","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"755694a058c974cd96640ef23d704f3d1ce88d16","datavalue":{"value":"1248.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191405$40A91369-1D8B-4BB7-93A0-271191B29CF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a60cde5240ac9ee314d9c4d31ddc432bebdf2aec","datavalue":{"value":"10.1007/978-3-642-03251-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191405$790116E3-01D9-4845-A6B2-CAE1298FD9FE","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":"Q5191405$B2F68654-7873-4FC2-ADD4-E75F0B19C451","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$D75BDC06-1F25-40B2-BE9D-6D283F7890FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22fa6455513bb7f53a1cef7bcfc7a401b9bebc8a","datavalue":{"value":{"time":"+2009-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191405$5EFAF4A9-9CDF-40EA-8EC3-F17E45A7814E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191405$87CCB0F1-B3F8-44F7-8D3B-7ABB0B9A9860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191405$CA1ED223-66C8-4D2E-BD61-7E4B06D42CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191405$B7BD4660-E4B8-4ECE-B862-F8F83219AE62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99ee42365f5ef0f7c021e57b6fa3da1d48afa920","datavalue":{"value":"5590888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191405$F6CC71D4-5D1B-4B4E-A794-C9497CE048D7","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":"Q5191405$A5C2BAE6-3791-4B01-BAB7-B4F016198C7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4874e733af8192cc5cb9a96f151df6f7815e7807","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03251-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191405$A98B8EA0-6342-4C0D-8A82-B8DE0D77FC02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaae99d68db6af757624f6de4ab6a5e836313dda","datavalue":{"value":"W1602055202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191405$2D296C77-C66A-4C3E-831D-43271F882C46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d04800089a50be71ae129fd64747fa94ad4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3559281,"id":"Q3559281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$B01F958E-80C5-4D26-839D-1A2ACB646438","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":"Q5191405$A7683A1C-AC40-45DF-BFF8-3326F3F62D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275930f537f4e0ba73d6830ee6dda03efba6ae56","datavalue":{"value":{"entity-type":"item","numeric-id":5505492,"id":"Q5505492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$87596454-AAC1-490E-B6AC-2E87154D504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a058fc6e8406a2b9dca3a9cafde2b45591ef997","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$73F30290-9C7B-4F45-95F4-CA486EF1BD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523e0d28580aaefb56178f551e92654ba2c8be91","datavalue":{"value":{"entity-type":"item","numeric-id":5309080,"id":"Q5309080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$1512BBFC-A0AC-4CDA-B096-BC32AAAD90D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc21b669b2564759bdd47e39db325c4ac3bc184e","datavalue":{"value":{"entity-type":"item","numeric-id":5302901,"id":"Q5302901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$26E0D9B8-830F-409C-B513-DA7D0DF9DECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37fc4c52602fad33fb34559c8c11a4750756d9e","datavalue":{"value":{"entity-type":"item","numeric-id":5491895,"id":"Q5491895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$37C158F1-33DE-492A-A129-E4ED028D86D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a476b4e24ba356ececcb5782b9f2b6f81efa0990","datavalue":{"value":{"entity-type":"item","numeric-id":4737134,"id":"Q4737134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$D92296C3-E0CA-4704-A867-899B0C85061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191405$FA1EF3E2-9056-4F16-BC27-0EBA6D670EAF","rank":"normal"},{"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":"Q5191405$1FC6ACC8-D01F-4D58-BC67-77E07B3CC28E","rank":"normal"}],"P1643":[{"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":"8925fc8753695e3cffc8abe751d7ac3aefa5a61e","datavalue":{"value":{"amount":"+0.8923935890197754","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":"Q5191405$F9E48323-B01A-48EE-A03F-26417BEFC8AF","rank":"normal"},{"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":"378baa0387e2be2cbba04a7b6470677fa90b65cb","datavalue":{"value":{"amount":"+0.889708399772644","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":"Q5191405$0B375329-8E4A-46D5-A375-4F709CA02A01","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":"744b967b3f6c8f5ad9960442e64a2e8bae7d6435","datavalue":{"value":{"amount":"+0.8648117184638977","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":"Q5191405$6F206A0A-DD8C-4116-A3E1-6C0DA2B92CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83190da104e96735729f232d778a32039b51962f","datavalue":{"value":{"entity-type":"item","numeric-id":5309080,"id":"Q5309080"},"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":"Q5191405$67F12E1B-BF8D-4CCF-9285-892CE5C52BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121a0258549812a73a479cbf2693af23d811c395","datavalue":{"value":{"entity-type":"item","numeric-id":1041591,"id":"Q1041591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df0b60f5f92d84fd6ee31fd186c676242eb58c38","datavalue":{"value":{"amount":"+0.7413144111633301","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":"Q5191405$1E1C6784-97F0-4D30-856C-5D0B791B27C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints","badges":[]}}}}}