{"entities":{"Q556680":{"pageid":558447,"ns":120,"title":"Item:Q556680","lastrevid":62721216,"modified":"2026-04-11T08:00:47Z","type":"item","id":"Q556680","labels":{"en":{"language":"en","value":"A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177895"}},"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":"Q556680$B57D5895-3722-4D35-925E-A1194E357F0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75a4756a241673926120942ef2476ea099819207","datavalue":{"value":{"text":"A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q556680$832F6003-EDE2-41C5-88BF-93DDD89D36CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6111d2e94256e7fda0887df036f136ba6797703f","datavalue":{"value":"1067.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556680$E46D5719-93DE-4815-AC68-D7A9F20373D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8419bf456ea44a4e17916a93fefe5219b76fae6f","datavalue":{"value":{"entity-type":"item","numeric-id":556678,"id":"Q556678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$B35009F0-B857-42C1-A703-A118EE39101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$612FE6D0-F126-4A64-AE9E-508154892F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9508babbaae830189eafb34c9955abb3b05c5e9","datavalue":{"value":{"entity-type":"item","numeric-id":6482611,"id":"Q6482611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$63DC7E8D-0AD7-4FF5-AFAB-2EDD3670815B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$D91EF3B3-F3D9-484B-B683-388C7F5B9B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q556680$13DF1C96-EB5C-49E5-A28B-AB25CE498861","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556680$7ED11BD7-2795-4C8E-8523-61797E2E9FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556680$2FD39CBD-A024-4D50-9A5B-ABD60A162380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556680$DD8BE6CE-C183-4C6B-91D4-518DF3DE6FCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"880433a716115abc6346a030f1f9b24882e04b72","datavalue":{"value":"2177895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556680$283DDD95-8282-4909-9A11-7DB43D1F1304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q556680$7C2227D4-EF6E-4DF3-85D3-D616EA496F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q556680$3CA29E87-21E2-4957-B059-0F9C20CF0F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a503428d5c41b7ba45c34e27a2fc2091e2ff0a","datavalue":{"value":"Nelson-Oppen procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q556680$9CDBA33B-3CF5-46D3-A7E0-0446AB83E82F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08e2f8f314529fb129405223c9cc6200110ac621","datavalue":{"value":{"entity-type":"item","numeric-id":52027,"id":"Q52027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$5E0E9238-DE73-444B-82D9-2ED6E17655D9","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":"Q556680$D463CAB7-9B8A-412F-B3CC-874EFC08BEFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"667ba0de7785d3a7ecbfb4329e230c0b087e46b6","datavalue":{"value":"https://doi.org/10.1007/s10817-004-6243-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q556680$EDFBF11B-8090-45B5-897D-A969DC2D2220","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60e32aa632a915a2d553c4c4d2519262a56b080a","datavalue":{"value":"W2087368574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556680$8F095661-9AE5-4213-94F6-2DB30E18D380","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$2B10C6E4-B748-4F25-8325-CE9AF59FE1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ddf5a1fa73fc24a6b5d3d300a71f329ea01060","datavalue":{"value":{"entity-type":"item","numeric-id":3838806,"id":"Q3838806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$E8F5F70E-5623-4AC1-B251-E8FDB56006C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e74a56d02db9ef5de98771c6583ec27c8b63","datavalue":{"value":{"entity-type":"item","numeric-id":3999861,"id":"Q3999861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$DD3BA34E-D405-4077-A0CA-CC8A6833AD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$C02AAEEE-F2F5-4832-BCA3-208EC108317C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948df7a6a2b214027d5f8ef1606d44b0b899d8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4916221,"id":"Q4916221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$56E6DF3D-643A-4EE5-A902-AB961406D426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07548799ec3447dd9594e653f3cc129b56c7606","datavalue":{"value":{"entity-type":"item","numeric-id":2721193,"id":"Q2721193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$E0B3D3B1-795E-465E-97CC-7A6021BB26C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd4183f41843e54831b6922dcec64a5f3205192","datavalue":{"value":{"entity-type":"item","numeric-id":3894959,"id":"Q3894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$169F9420-3162-4531-AFF9-A5F50D7E6DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c55cca437d96f93b2f4f850ce6e8dd3142bcc7b","datavalue":{"value":{"entity-type":"item","numeric-id":3900014,"id":"Q3900014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$AC878D97-50DE-42ED-A584-65593B5B2CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa4f8dd4dfdc0c9fe765fa4c60ace59fa4f5cec","datavalue":{"value":{"entity-type":"item","numeric-id":3905254,"id":"Q3905254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$1A797085-97D0-4071-99C6-1181C6CAEB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$6F26EEE5-8D80-4FF9-B0D3-C0F1645BA75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f38f03c6887d40db0efe17b75e1585b8b3e72f","datavalue":{"value":{"entity-type":"item","numeric-id":3741005,"id":"Q3741005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$4AA71C8C-47E4-4BA3-893B-5A8C4643DFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83aab7d5d6eb2bec6601ce6de32b8a897892df8","datavalue":{"value":{"entity-type":"item","numeric-id":4039769,"id":"Q4039769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$1481EA2C-4F6F-4F8C-9CBC-CA11F34CB9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28039a446a03faca9d112ce464bbb91b9adbe1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$EA2C2C57-7FB9-4E40-911C-55A75278AA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975c2cd3c1f72db1f1d9df42fef1c421eabc5d45","datavalue":{"value":{"entity-type":"item","numeric-id":4809072,"id":"Q4809072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$870F9D92-B2E7-456E-99C5-938762E47C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb03578ceee8d5f3eded579265395839113bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":4737128,"id":"Q4737128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$82783C7B-028C-4ECA-B534-D442FE74BF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cbfbc588388370bcf25513bfdd8bc82891f4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5305665,"id":"Q5305665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556680$0553B037-7B2C-4ECA-A817-5391031161B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"594f12bf52d75bea2978816cf4fe9ca1d2d9fe5d","datavalue":{"value":"10.1007/S10817-004-6243-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556680$6223EC9D-BDE2-4D03-8F8B-14C9EF77113C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db119c28276c7e8986fd989396baead2297041f","datavalue":{"value":{"entity-type":"item","numeric-id":3437734,"id":"Q3437734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540fafda6bedb5521a0d316e99a17b1e955774a2","datavalue":{"value":{"amount":"+0.9913607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$17670375-7522-4D43-BAB3-2818518A959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44770afb14f85493e56b569d477c681c245584d3","datavalue":{"value":{"entity-type":"item","numeric-id":4916221,"id":"Q4916221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cce211f2540cd6d5ef594d589d56d5d709a561","datavalue":{"value":{"amount":"+0.96873546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$CD04B1E0-7A47-45A5-BA59-91F300E0582F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba10201f1c474035b234a2280f385d32e4caccba","datavalue":{"value":{"entity-type":"item","numeric-id":1096608,"id":"Q1096608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd14aa4cc1854a2c802a4589e823e68dc954b53","datavalue":{"value":{"amount":"+0.8765388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$E9748D31-AAD5-439E-8B9A-C6BECBB3EBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f172fa9f614d7a8a71c89b57aeec60204720e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2558d9bbab9bbdee7670e30105b1442d36d95a16","datavalue":{"value":{"amount":"+0.87647104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$D44A8111-745F-4DB5-8876-B8D6F9DB358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24445f56bb29453e7bbccb5ff6d8e4aa3223d274","datavalue":{"value":{"entity-type":"item","numeric-id":810492,"id":"Q810492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7653d33b2864f7884a6207302c47a5d47a4c59a","datavalue":{"value":{"amount":"+0.8729152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$F0FEB4EA-9651-4D59-A064-849E06F12D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68391f8ef32c85200322ad9cb86b329f984620bd","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f8a8babc1ab2f8ba1be6a412f238ace262dd67","datavalue":{"value":{"amount":"+0.8685758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$E225BF93-096E-42EC-B986-24CA23B21013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54f5d11bc3b8255f1021c06f08b4e1355865124","datavalue":{"value":{"entity-type":"item","numeric-id":810491,"id":"Q810491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e9cbc217eec2f92784d0524df9f31a2b92d30d","datavalue":{"value":{"amount":"+0.8655939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$5561DD30-CDEF-4FE5-B13C-E1FF123FF547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64c1900c5994b9b69ffecb5f38c970d55c40a98","datavalue":{"value":{"entity-type":"item","numeric-id":3475242,"id":"Q3475242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3cfaf789ab876757852be40443cc59eb60b481","datavalue":{"value":{"amount":"+0.86444956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$202EA89C-E25E-430A-8046-EDDC4CB31069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a029a1cb4bac13cdf5becbbbee09125fa5c602f","datavalue":{"value":{"entity-type":"item","numeric-id":3803085,"id":"Q3803085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d37bde5d56d1079eacd0a3ebba70de871edf685","datavalue":{"value":{"amount":"+0.8595325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$1ED48EBA-86C0-463C-AFE4-F541A307FBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582ae03e595f9e2fb0a534426e5f4687094ab96f","datavalue":{"value":{"amount":"+0.8585651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q556680$60F1BD99-D114-4FD9-ADDA-22100C3CAAFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decision_procedure_for_a_sublanguage_of_set_theory_involving_monotone,_additive,_and_multiplicative_functions._I:_The_two-level_case"}}}}}