{"entities":{"Q6496423":{"pageid":14075196,"ns":120,"title":"Item:Q6496423","lastrevid":39785684,"modified":"2024-12-30T18:49:34Z","type":"item","id":"Q6496423","labels":{"en":{"language":"en","value":"An abstract view on optimizations in propositional frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7842069"}},"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":"Q6496423$A7138202-0A85-4E45-AD55-D206A789A57B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3d4778fc9680372dcc700fd7affbf92e0e12bf5","datavalue":{"value":{"text":"An abstract view on optimizations in propositional frameworks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6496423$01B63685-51AB-4101-95CB-983254EAA768","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$E1151A10-0124-496B-9109-921BFE04533A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$1F576599-C0FA-4FBA-81E0-C9301E657CFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfe8f812c44973320a5b5393ac1a99b462a2ece6","datavalue":{"value":{"time":"+2024-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6496423$587DE1FB-D4AF-457E-97EB-835C99A5EF8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496423$568B1C6F-5883-4DC6-AB43-8B3AE1B8BA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dc47a80375051b61326aef30653f59f9c0922b4","datavalue":{"value":"90-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496423$C596CDC1-12BD-4C4E-9A4E-7C2D8043E71A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"851addebc41896c14867848550fc57fcf21a44fd","datavalue":{"value":"7842069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496423$A84E1796-23B8-4528-A72B-BA866AE5B606","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":"Q6496423$7F9B502A-41F8-4A77-8256-E5B695C08035","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$F907B13D-6FD7-49AD-BBCC-8A7B447F0EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$922F76F5-368C-4186-BA61-29A1D8BD960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$CD1FCAC3-C288-41FD-BA85-46346E30D68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0415d643c57f0a367c51d611891732f298610f","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$26687368-3AEE-477A-A5CC-3962E6435BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d9a1453e37e4f063466335e73de85de7201e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$AE105852-1818-4C5F-89CC-D3266392EE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1becd1d99caaab1d324b3ade4ad1a38c60aa68c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$108087B9-ECE3-48C2-B9F6-05D9DFE1871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ae2b2b4cffe95331953ba5a54b86b368a38d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3191110,"id":"Q3191110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$E71EC9E2-15AB-4A65-9D15-08C6BF1FF060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5328e451b0d7c342f16bc074d98c4d475917b2","datavalue":{"value":{"entity-type":"item","numeric-id":3304091,"id":"Q3304091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$7228CD33-3529-4802-847A-277DFE4A9EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$F2261890-C4E6-4AB5-B94A-F6CA60BE7891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b33357847453f8193482c316f500b2c6d3f7fe","datavalue":{"value":{"entity-type":"item","numeric-id":877840,"id":"Q877840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$9276243A-8D3A-473A-BA04-B06C1BE3895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1651a2f23b12596194ecb761a28cd87ce045a20d","datavalue":{"value":{"entity-type":"item","numeric-id":2180217,"id":"Q2180217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$E6B18ACF-4929-4D30-9DD3-FED03D5C84A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$5EFE9FA4-4448-4E19-A6BF-B333C4EC6F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e19170183c8774cb38196705806ca7e842e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$6E40BC87-8205-4B67-817C-FA92AA8FFF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$EFEC5DA6-97FF-4CA8-A44D-BDF47F438B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0cce9a7ca8bfdbf1c3c7ab24a3ccb8dad9165","datavalue":{"value":{"entity-type":"item","numeric-id":4957196,"id":"Q4957196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$BA14FDEC-7A79-42CB-B537-B5C387997659","rank":"normal"},{"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":"Q6496423$7E6EE374-718B-438F-8154-C9F208E9256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$243E9BB0-BAF7-495D-BF79-2457D570CC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c930d91b45cc74101e54a805b7b01145d43e7ef","datavalue":{"value":{"entity-type":"item","numeric-id":1699519,"id":"Q1699519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$2F293516-1D25-4A16-8367-75DA98125F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$497CBC53-3E11-4031-A07C-4D28376B73FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251bdcf7d603918ef5abb90908df696f6c2c47c8","datavalue":{"value":{"entity-type":"item","numeric-id":4911129,"id":"Q4911129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496423$719F154B-3182-4725-AB48-CD78B2FACFD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e0b67bb9c6e62fade7d6683318e380d45007d19","datavalue":{"value":"10.1007/S10472-023-09914-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496423$32D69167-0BFA-483A-A44B-A05BA3943D54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6496423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6496423"}}}}}