{"entities":{"Q4916221":{"pageid":6945802,"ns":120,"title":"Item:Q4916221","lastrevid":51698450,"modified":"2026-01-19T13:20:27Z","type":"item","id":"Q4916221","labels":{"en":{"language":"en","value":"A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156029"}},"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":"Q4916221$98BFAD61-5909-4155-8F9C-FEF606ECA6ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99abefe8ca9cb788c610be62354a46ff50c25043","datavalue":{"value":{"text":"A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project \u201cRagionamento su aggregati e numeri a supporto della programmazione e relative verifiche\u201d.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916221$621DBABA-3575-4CF4-9B81-72B795CC1611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80f0e6b1a28f86589c0dbeb038d70196dfcb5098","datavalue":{"value":"1261.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916221$E0BE84E5-0094-4053-B6BB-9570933D4A4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71a865a14d0b09a88c235f2ca202191bb3f6c3b0","datavalue":{"value":"10.1016/S1571-0661(04)80652-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916221$E0DDCC8E-4FBF-485A-9B28-2E4D1C0E2502","rank":"normal"}],"P16":[{"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":"Q4916221$A83E831F-D322-4E4A-B165-F7A22DBF8723","rank":"normal"},{"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":"Q4916221$58EB8510-4CF7-482C-BA0E-7F55E58E4E1D","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":"Q4916221$FC87A73A-3511-4EC2-BBA2-27B74B22194C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916221$60D10104-F94A-428F-B872-0EFA8E9A653D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916221$94BD0FFF-C9EE-4FFD-9E85-F0376A47E9B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916221$5A530603-76B3-48D0-9B60-78558CCB50A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916221$DEF6CFF1-F43B-4198-81B0-80FD80168F91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30cefc0793a6704eb6941c5bcfcdd48225924545","datavalue":{"value":"6156029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916221$3739C07E-6189-4E5E-A081-5722295D20F2","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":"Q4916221$D3286464-3E85-46FE-89E1-13F1229423A2","rank":"normal"}],"P223":[{"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":"Q4916221$63853D64-8A01-4EE6-B0F9-0D212C9FC79D","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":"Q4916221$4EEEEFF2-D882-44E9-ABA8-C55043FE9A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928c2af04ecf0989e66e39a3bd22c3885db1336a","datavalue":{"value":{"entity-type":"item","numeric-id":1813824,"id":"Q1813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916221$888F0CAC-9E81-4EF6-9032-BF2FE62985D8","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":"Q4916221$05CF2AB1-777A-4AD2-852E-4EEF0EAD0A94","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":"Q4916221$8C17E618-5179-434C-8E2B-CD300913D8CA","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":"Q4916221$3EE2F022-3179-4CDB-B441-96046BE6B0C8","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":"Q4916221$75B73CDC-FFB7-4074-8BB0-CFA9DCEEE5F2","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":"Q4916221$DE69291C-41BE-436B-9E76-D5B97BB18584","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":"Q4916221$2F626D7A-42AD-4729-B5C5-971A846C7701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af21a53c3fb9695850811fe8bca0e779572dcde4","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80652-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916221$BB8183EC-4072-49E5-BC5F-0E412CFD3E60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ec2c8640d9281b71b015739c9356ef9b917e8e3","datavalue":{"value":"W1511302256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916221$9E6D158C-CFC3-49BD-BBDE-442245C2C41F","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":"2338c913533a44d62c3691a1782e105ebda2707f","datavalue":{"value":{"amount":"+0.9599751830101012","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":"Q4916221$30A19EBA-D182-4851-9CD7-37389F81F27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbceacc424bb8389cfba684910bde8aeeeac8726","datavalue":{"value":{"entity-type":"item","numeric-id":556680,"id":"Q556680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74234e35f33130b86d8f1adef803e5b93d24498","datavalue":{"value":{"amount":"+0.9032283425331116","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":"Q4916221$52525FF6-ECB2-40C5-A6A7-1CCBBBF59F4B","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":"12f861d80f49137ebcaec528c68f9c32880fb24d","datavalue":{"value":{"amount":"+0.8036614060401917","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":"Q4916221$BD4426E5-5146-4EBD-B72D-63DE26E4E027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b88d6bc0aa29c2a10a471b42e653052dccbd4f","datavalue":{"value":{"entity-type":"item","numeric-id":912082,"id":"Q912082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e8fc70b54f55b4f3f8f0576b0dc6858692db76","datavalue":{"value":{"amount":"+0.7956215739250183","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":"Q4916221$5755A92A-52DD-4094-A607-AD00A5FF46D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee496cf5493d9f106735f4217835e8927368a46","datavalue":{"value":{"entity-type":"item","numeric-id":3726080,"id":"Q3726080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab620e0da30127841d04cc55365f922d50063756","datavalue":{"value":{"amount":"+0.7838531732559204","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":"Q4916221$27445437-6187-4715-9337-145E1755E249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916221"}}}}}