{"entities":{"Q5302032":{"pageid":7331606,"ns":120,"title":"Item:Q5302032","lastrevid":50544308,"modified":"2026-01-14T08:38:42Z","type":"item","id":"Q5302032","labels":{"en":{"language":"en","value":"A Decision Procedure for Monotone Functions over Bounded and Complete Lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494771"}},"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":"Q5302032$B8885ABF-C8E7-4C80-9015-A02EBF42EEF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b0556cb99386fd70a4b450beba450214cba9495","datavalue":{"value":{"text":"A Decision Procedure for Monotone Functions over Bounded and Complete Lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302032$2C98A539-0112-4BFE-9A85-E1629F7BFBDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0584846400f7762249c482cd90eaa7cb2d9285e8","datavalue":{"value":"1177.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$952060CE-1252-4555-816C-C02FE55D38A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8dc33f3a74854008b9918c68ce4f445d6c28c3a","datavalue":{"value":"10.1007/11964810_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$BE788E08-ABE0-418F-978A-9D73BBF31707","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":"Q5302032$88989C53-39CD-46C2-8077-971DED9BCA07","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":"Q5302032$DB428029-61EB-40C5-9833-66C37C9CABC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"20ba019276d555276a5acd054928b4a328f900da","datavalue":{"value":{"entity-type":"item","numeric-id":5302017,"id":"Q5302017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302032$E194F488-65F1-4D56-8C28-A08B96B460A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302032$466F0414-8300-4B9B-B247-40C56A788259","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$72CC3DAC-9AEC-4DC3-BBFE-BCCE7BD6F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$6586A029-23F2-4182-86AE-1084209F82FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$F925BA46-A422-461A-8E11-844E00F96249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$D8249481-BBB4-41CF-BE89-A3D7388B109D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd52f363db428d459e6944e9f40b2af39cec7caa","datavalue":{"value":"5494771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$3B981830-FECC-4A4B-966C-BB0E85B56A95","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":"Q5302032$6E777F9C-9FCF-49F3-86EE-2E80CD4E7794","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efdee0b47b321de3363c9314dab2e348f3612980","datavalue":{"value":"https://doi.org/10.1007/11964810_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302032$374E6330-83E9-4AAA-B098-EA8C419CB19C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"323aa807c2a6896d68e47122bb53894415fd4d16","datavalue":{"value":"W2144859778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302032$34EB3E09-1AC6-4A73-B5C2-BCD1508495D5","rank":"normal"}],"P1643":[{"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":"eba59fb473a26fd2da39e8a595eb0cca501eb520","datavalue":{"value":{"amount":"+0.7405329942703247","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":"Q5302032$544AD097-1C7D-43C6-A537-D32BA5FDBF01","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":"369e990cd012656e9f53c7fac91330ba53e8821f","datavalue":{"value":{"amount":"+0.7326311469078064","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":"Q5302032$CBAAB71E-3B37-47E8-BD6C-83B852E32A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8639d7f0a2b9a297f333522702ea8621349647","datavalue":{"value":{"entity-type":"item","numeric-id":1432885,"id":"Q1432885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed37cbc1aa4e8fe81168c3d8ac069ae45cf1877","datavalue":{"value":{"amount":"+0.7293893694877625","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":"Q5302032$977F0779-0DB1-4332-AF47-79E90327E9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781f56dc9b9b2320d5e3e0abea9800680e601f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5309685,"id":"Q5309685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d42821aa7982123c3c70d54f1656588deed6dc","datavalue":{"value":{"amount":"+0.7051067352294922","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":"Q5302032$E2FA0636-1995-4CB1-B54E-47135F2306C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6fe432c2892cd36e71d33bafbe945474a843c","datavalue":{"value":{"entity-type":"item","numeric-id":5277777,"id":"Q5277777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9680a3864ecd2cdbda80f561cd26b09059997bfb","datavalue":{"value":{"amount":"+0.7032630443572998","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":"Q5302032$FD8FD812-5703-482C-A415-1D8BB72F6E00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302032"}}}}}