{"entities":{"Q3502709":{"pageid":5532612,"ns":120,"title":"Item:Q3502709","lastrevid":48754372,"modified":"2026-01-05T19:11:02Z","type":"item","id":"Q3502709","labels":{"en":{"language":"en","value":"SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279249"}},"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":"Q3502709$FD931261-D9BC-4BF0-9469-33DE75CC89A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdd402d7e22907f60dae6ae7ad6700b3236da7e6","datavalue":{"value":{"text":"SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502709$2726C60A-8DAD-4355-B73A-3CF4D9AED5EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82d7774ceea4fb3a4910a6cf435de239d87df437","datavalue":{"value":"1138.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502709$E5ADCB66-7442-4CEF-A609-74D380060256","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c0e31d17a9e14e54a403f2fa29d7741ee6dd60","datavalue":{"value":"10.1007/978-3-540-79719-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502709$4534379C-2F8D-43CF-ACD4-DF003D1F700C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8867479da5fd6ab21e678bb716183ac3bcba2e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3498481,"id":"Q3498481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$9DCC563D-C6E1-4C9D-A789-DE5D1D2AA6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80b140b224e771dcc4dfcbebd6e6f91f547ab29f","datavalue":{"value":{"entity-type":"item","numeric-id":2946702,"id":"Q2946702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$BCEA0D8D-61C0-485C-BFD7-65691F5D8B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$B1FF94C9-B782-4E58-B953-73F3C79A18B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$1722B90A-1931-4446-8213-39C297FFDB23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$E11C632B-DE82-4425-92A2-003BD33AF658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502709$A69BA92A-2291-460D-925B-AD6E645A1243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502709$69B80E83-6CC6-4FE2-9090-A904F8EAD81E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"365277c2c111d495b802fd46f80f9c5176eef208","datavalue":{"value":"5279249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502709$B2E3DF58-9181-4F5A-A680-C7C4A3E9F7AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$AAF3FC6E-461E-480A-9AB9-328D728DEF61","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":"Q3502709$F765DBA1-F1BC-4FD3-B6BC-E6B6344226D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55f30bb5c5f51a107cfdac629f62fac85bbb3042","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502709$C90D337B-B915-4FE9-B8E7-E07CF8B97133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a21b5fafe19c38a0903bfbba1e11a5b7173bf708","datavalue":{"value":"W1540443495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502709$3126175A-BFAD-421E-BB47-C5FB71DC018B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$914EBDFF-CFFF-4C54-A373-212DB5597BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a3bc47d72584b0b52e420b45e6457a3d53354a","datavalue":{"value":{"entity-type":"item","numeric-id":5424863,"id":"Q5424863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$F38FF0C0-EA8A-4546-AC8A-A134B6AED2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e152c75c0e6839edb883579f776c9507933635","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$15399782-87C4-441C-96E4-193D470FCD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$E68FDEA6-C156-4242-9EE7-D86A427EDA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a9134e658e259af7b343ab5d0a31a19e0988","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$DA60ED6F-B728-4FA4-BD5A-44F18F862B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$4BB1E966-FC6C-4313-9A7A-1CD7751B89BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$11189872-65A2-4043-97E8-D2AB7B2A5630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0ad1086238288ae0e74be1bb7c64d1f998545c","datavalue":{"value":{"entity-type":"item","numeric-id":2767095,"id":"Q2767095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$CEF412B7-F32E-4E8B-9745-BE079ECCB8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$1130BC13-8B2B-4826-AE9D-0E3CA69FD096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a812784ec62093f28ead952175e271370e1748c","datavalue":{"value":{"entity-type":"item","numeric-id":3498482,"id":"Q3498482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$8008A47B-741E-47F4-9934-99066AA28F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$2A976363-D431-40F0-B40E-255D133E371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130a843337d5a4f5c3cb23ca2eb48f00e5448dba","datavalue":{"value":{"entity-type":"item","numeric-id":5475780,"id":"Q5475780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$D8BED9BE-141A-4498-8CBF-D4F4DFAE7E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$BCFF848F-DD77-437D-B562-AA092549EDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6cd5e256ab0b9f3c204f0096b8a6f928fe2ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5424882,"id":"Q5424882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$3E222AD6-AB9C-4369-ACF6-C0996EE7F059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736c1ffea9e14d670ec31197d16dcb2469e484c8","datavalue":{"value":{"entity-type":"item","numeric-id":5449604,"id":"Q5449604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502709$BA5BB21F-D528-4642-A463-B6C1928E751C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250834f45f057a927abfea28e9f0a9bff54c14a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee049a1a88895af96d542c1f12df9bb4032c096e","datavalue":{"value":{"amount":"+0.88575864","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":"Q3502709$60FDC383-0F74-4F98-868B-1EE473DE99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eca4c5397ac75c297bba98c0970ca3735dafbdf","datavalue":{"value":{"entity-type":"item","numeric-id":2104497,"id":"Q2104497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48fe1b34c3829fea0842ba4cbe73ae8eb23967f","datavalue":{"value":{"amount":"+0.8834386","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":"Q3502709$3C3D379C-81A2-499D-BECC-B0B10064039A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604385136b21f9e3c4a0f2e0fa8cddeb28eaa785","datavalue":{"value":{"entity-type":"item","numeric-id":3498482,"id":"Q3498482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58dbfe41e81527b2db5e9bae26cdd7dfede5705b","datavalue":{"value":{"amount":"+0.87389517","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":"Q3502709$F2C50A70-C100-46D5-BC91-4B7A69D6AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8de8eb4a710c7bce392bc0ead33add3976c656","datavalue":{"value":{"entity-type":"item","numeric-id":5475780,"id":"Q5475780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133a2c44dd1b93855b8e6ab93b2995f4cc1dec66","datavalue":{"value":{"amount":"+0.87388194","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":"Q3502709$BEF027D1-5609-4199-9627-C70113E6C827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fef3ff36d78e878e4794b4236a84a6e5c346572","datavalue":{"value":{"entity-type":"item","numeric-id":2055856,"id":"Q2055856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4120d08618c189afd6dbb2303d9c8cca8457bba1","datavalue":{"value":{"amount":"+0.8707387","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":"Q3502709$78CE288F-1F2E-4B57-9F1D-C70E8387160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea91d0879d0faafd26b8c67513c7a9c62e1c4708","datavalue":{"value":{"amount":"+0.8655075","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":"Q3502709$56840166-6EFC-4E9F-80F9-30C0A7B5DC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c569c2d8be1d9fcff4b83fe5bb0ebfd3019d095a","datavalue":{"value":{"entity-type":"item","numeric-id":2305434,"id":"Q2305434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b990e764e9f6e24c1bde2ad132be4bdba96825e4","datavalue":{"value":{"amount":"+0.8630196","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":"Q3502709$C04B8B05-B0ED-4DC4-9A4F-1297E934D031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a4257078d45800d736d378d3a98ea8a4eff9b0","datavalue":{"value":{"entity-type":"item","numeric-id":2741541,"id":"Q2741541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9d2e6d062e10446f1c0375790408e849e56569","datavalue":{"value":{"amount":"+0.86223006","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":"Q3502709$671AB915-109C-4DD5-B9A4-4C56EF65C316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b86df24e6d3e495f5e8e4e4820f0cc7e60391a","datavalue":{"value":{"entity-type":"item","numeric-id":4247256,"id":"Q4247256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8bc44292e99896cb8e2bd4a0d49aff34732880","datavalue":{"value":{"amount":"+0.8620117","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":"Q3502709$51F8B715-EAB2-4286-B453-673B29F4EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a715218e4331707cd582fb41a9d3e9e8367f24c","datavalue":{"value":{"entity-type":"item","numeric-id":5223202,"id":"Q5223202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c72285d2eda6ca642022b875286b682c0113aa","datavalue":{"value":{"amount":"+0.8618311","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":"Q3502709$4A60952F-1223-4262-A03A-124C49504EE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502709"}}}}}