{"entities":{"Q3549312":{"pageid":5579216,"ns":120,"title":"Item:Q3549312","lastrevid":55935538,"modified":"2026-02-21T07:27:11Z","type":"item","id":"Q3549312","labels":{"en":{"language":"en","value":"Synthesizing Monadic Predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5480662"}},"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":"Q3549312$5D5C5B82-3D7F-4583-BC64-0391418B4C64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e2e43de9a4af0bc1feaa44035aa41f7671b053a","datavalue":{"value":{"text":"Synthesizing Monadic Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3549312$7869C9F3-3038-4341-A7E2-1547641E8DD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffd801d44f96ac6b75db6a72042442081a5ccb45","datavalue":{"value":"1154.03307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549312$EBFFD90A-F0C4-4AB8-B493-7022BF74C88B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8457f41793a594d38c63eeb8714c30d5451244d","datavalue":{"value":{"entity-type":"item","numeric-id":676447,"id":"Q676447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549312$1ECC6006-0F83-454C-B332-D9327677128F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f30c3442fccb3b70361029d22bcf35152085a2da","datavalue":{"value":{"entity-type":"item","numeric-id":1265693,"id":"Q1265693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549312$CE07831B-E850-48F1-B950-8ED27D4B5FC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3bb71ba14b31de2de19854cf4d23d9d201b244","datavalue":{"value":{"time":"+2008-12-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":"Q3549312$EA06EA80-10E4-4502-8881-4A5F353B5E60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549312$41C2DDDD-97C5-420B-9582-CBD8F3A73CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549312$D375B88E-4A4F-4D27-AB78-0750975F6EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549312$1F07076A-A462-432A-8E2C-1221475B0EC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2788f412494fd4bdae625de31046c92d808da7f9","datavalue":{"value":"5480662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549312$62FA6494-F817-4122-953B-C806F1A09231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe1df10b920a10b4b0fe888277833dd6cb02b7a","datavalue":{"value":"CNF/DNF monadic predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549312$80A0407B-651D-4457-BE59-7FFDB9A5C25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549312$82730394-A652-4D38-8AEE-8334ECE00C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"356e366d6c8b96790c960b2cb3520c79f5b43485","datavalue":{"value":"formal concept analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549312$B6883C16-80FC-4EEC-8FAD-7C65D6A7748C","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":"Q3549312$EC77053E-1A70-41C1-9D03-C1B2F0AF6D5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"429417868f4b7f79fbd953ed77d9b72235dbd635","datavalue":{"value":"https://doi.org/10.1093/logcom/exn006","type":"string"},"datatype":"url"},"type":"statement","id":"Q3549312$6B516224-D234-4377-BF19-107010113B53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbbb028d212e2d2b958c4e91da64b431ae1f6e8a","datavalue":{"value":"W2082081601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549312$CF30CEC6-BB2F-4210-824B-5F936E4B0956","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a957ce4847b862cf42d20fab8aceddce8019f44f","datavalue":{"value":"10.1093/LOGCOM/EXN006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549312$5C0D4F03-6FC0-4FBE-A2B6-DB9E5ABC853B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc6fd9285ead74d891decbdf8d55a323617547f","datavalue":{"value":{"amount":"+0.8958672","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":"Q3549312$073335DD-2990-45C7-9176-BF7D23ECCE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7594177eab6b225579120dadbea78f266fc0353","datavalue":{"value":{"entity-type":"item","numeric-id":3648354,"id":"Q3648354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93684e909b6b73ce6d0b05b87a6ab2373ac49cbc","datavalue":{"value":{"amount":"+0.8754249","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":"Q3549312$4D2DB409-6D03-486A-94FC-E61B20D4BAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbeb889c44540dc2fd6fb6f55c9f0124c3f7bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2133473,"id":"Q2133473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46b5faef85531cbe08def55dcde06275c4a8a9e","datavalue":{"value":{"amount":"+0.87431556","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":"Q3549312$45D15CAA-2DC8-47DD-AB23-EECFADD0ED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd84a5140f0a56f2ecdcf6cdbbc46fa76a76710","datavalue":{"value":{"entity-type":"item","numeric-id":3493222,"id":"Q3493222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5f2adc2c509b5acac95b62495eb4a981ad1e55","datavalue":{"value":{"amount":"+0.87013817","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":"Q3549312$F7E205CE-3270-4945-8B07-BD6A44F9D1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e1607a8f63bdf410541c509fff702f3ebce1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2303879,"id":"Q2303879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce65f4436f13a2f1dfadfcaf31cfdff0d8148aff","datavalue":{"value":{"amount":"+0.86789924","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":"Q3549312$C9EA4A4B-D0F9-426A-8374-C4D74F26232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccd07cd97964243d5836926a82d6a5d2420e22e","datavalue":{"value":{"entity-type":"item","numeric-id":3638248,"id":"Q3638248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12c57ca61acad87ab654af4b88f9ce1d0b4ff3e","datavalue":{"value":{"amount":"+0.86763316","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":"Q3549312$A8FB9EE0-3DD9-4DF2-913D-8FA4CE538B8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549312$3B72D1AD-BB2C-4DC5-8670-1FBC6312CD7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3549312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3549312"}}}}}