{"entities":{"Q4560350":{"pageid":6589940,"ns":120,"title":"Item:Q4560350","lastrevid":41212373,"modified":"2025-04-19T20:15:54Z","type":"item","id":"Q4560350","labels":{"en":{"language":"en","value":"Using resolution for deciding solvable classes and building finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992061"}},"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":"Q4560350$9963DE3C-57C5-449D-B519-61D73E9C316E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddbb55d5a865b0f7c8f2b87df4f1b628bb048e79","datavalue":{"value":{"text":"Using resolution for deciding solvable classes and building finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560350$A08A0341-08EA-4FEA-855F-56708214CA83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6b4992577497fe05711a3a8e76a3baa606007b5","datavalue":{"value":"1412.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560350$A3E2DDAD-EFC3-4414-97C0-D9F5B835D306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50dfba14eecf8f7e9f64ea004fb9b72dca6eb33f","datavalue":{"value":{"entity-type":"item","numeric-id":1181716,"id":"Q1181716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$4890DEFB-70B9-4CF6-9048-9102D5573968","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3debad901ba3f2473ce6548d6207f925a5175016","datavalue":{"value":{"entity-type":"item","numeric-id":4560347,"id":"Q4560347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$FBAEFE0E-A1F2-43B3-8CE5-09B60946E55E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8096502b9da70fcca6bebcdf976f1e511fee9ef8","datavalue":{"value":{"time":"+2018-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4560350$410F435E-A8C9-40C8-9759-D942C2C8594C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560350$7D8517B4-0A7D-49F6-9900-427B21887927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560350$CE09918B-AFCB-4CA6-A05A-58E1CECFE2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560350$4F7C832B-4B87-4289-97F8-97C8F9D36365","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f42cec1bf6c8ece052b54a7902a203a05ffa8d8b","datavalue":{"value":"6992061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560350$E80A427E-9582-490B-9A5F-097F329C4D23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560350$547CD9C4-6415-446B-A748-0944A23B65F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560350$0E692ECC-FA37-402A-8A5E-E2A0097A43F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10e9843bdfd97faff89897222039f623857f8d12","datavalue":{"value":"finite domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560350$6F9A8502-7088-4CEF-A25E-858A06DD7CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f5dfe283560ae13d7b1bbb990e5b2dbd9afa14","datavalue":{"value":"functional term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560350$AAE5B989-D166-4BAA-A94E-1F6B13D07408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560350$8BADC3DB-E3E8-4B43-A67C-E0C6ACD20B12","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":"Q4560350$D6AADB0C-9B5D-4B48-B9E6-4876D192C131","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$6FCC52AF-1CD0-45ED-8AB6-A00F440B0012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$367E17DB-F390-4897-893A-A325193A8973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$4D3254C6-6AB0-4D7E-B22A-B8E4358FCCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda6d4bc4ff06358c5dfe216b9a7a58bec1514be","datavalue":{"value":{"entity-type":"item","numeric-id":4102765,"id":"Q4102765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$30F5C5A7-C0E1-49F7-80CC-551FE91E9128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63adcf83db3cf7a069d191680650dad11d4a262","datavalue":{"value":{"entity-type":"item","numeric-id":3789526,"id":"Q3789526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$9A459926-FCE1-4B72-A969-1286984CC94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$7D3099B7-11ED-4FD6-B7C8-1267D2F21BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc6f55557416025d6c02fe837dd8287da5d5b83","datavalue":{"value":{"entity-type":"item","numeric-id":5523671,"id":"Q5523671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$433CC755-D705-429D-86DD-765AACADBD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c74fbfef69ae5ee2001acd34a40ab230e1ff815","datavalue":{"value":{"entity-type":"item","numeric-id":2543322,"id":"Q2543322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$13B4B1CE-613A-43CB-AF80-E25DA42AC732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e2984aad27cb3e25159a04dea706a44d204c70","datavalue":{"value":{"entity-type":"item","numeric-id":4766612,"id":"Q4766612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$EB9C63F7-3537-4E85-B5A7-A9723F218164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c328fb0d9a0f3076a1f2deb69e5f4d19e0d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":1181717,"id":"Q1181717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$5E31A8D4-C5BD-481B-B617-5F07A82E50D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$9910B82E-F2A6-4622-AD71-3D25A555530B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017c184c3277fb681aa54b180b0d3db5f9e6933c","datavalue":{"value":{"entity-type":"item","numeric-id":3348885,"id":"Q3348885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$0D981086-2A49-41DB-842D-7CB4A6E34388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$A6BA7CAC-3BD1-49FE-819B-36BE278E9EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e963915702637e6f873c32169203d8b91d5f54c","datavalue":{"value":{"entity-type":"item","numeric-id":1217465,"id":"Q1217465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$2872E283-0F7E-4271-8DE0-A2CAAE8BC5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f144c40fe3a1847d11917e0d6609f6f9818cf1d8","datavalue":{"value":{"entity-type":"item","numeric-id":583187,"id":"Q583187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560350$AE1B796F-AF86-438D-92C0-3F316CE56C7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f724d43d574dd42dff9dd5b1e914141c21006e0b","datavalue":{"value":"10.1007/BFB0019355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560350$0B87DADD-EA30-475B-9FA7-03042DD11507","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f395577fbcc727f3706479ec8892d242b633f6","datavalue":{"value":{"entity-type":"item","numeric-id":3348885,"id":"Q3348885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb7365a3aa96f4915ae88b4fe9d09b686ac5d1c","datavalue":{"value":{"amount":"+0.87936014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$34E61C28-343A-4E32-8D6C-37BBAB575D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed581130f80ce7853e1b7e619d65d17e21d1ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1404976,"id":"Q1404976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1edbd04fee58713730b51e00bf318dfa88324ec","datavalue":{"value":{"amount":"+0.8787741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$926A2909-CA07-411D-BBEC-3B44C6BAFB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a944ed262288b3ececf0d637ca058ee4d5348cc2","datavalue":{"value":{"entity-type":"item","numeric-id":2751044,"id":"Q2751044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0812039baaeed51414ab22160d42f0550b3e383b","datavalue":{"value":{"amount":"+0.87505037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$4594FDB4-24C3-4B7E-A276-8CD83C4F8E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc2c9b248b5e31c2d9c118582a2d19acded508e","datavalue":{"value":{"entity-type":"item","numeric-id":1610669,"id":"Q1610669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf1d895c7adac6de2b2e8e3b66d130b5ece1534","datavalue":{"value":{"amount":"+0.8750503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$0885B8E5-E8BF-4A7B-8F58-5E65E85F1C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c22f04c9a620fa526d1b2dfbb22d6d05c12625","datavalue":{"value":{"entity-type":"item","numeric-id":1352293,"id":"Q1352293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11525af01fec58c67932f3442e332f064f064a17","datavalue":{"value":{"amount":"+0.872297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$7687D3DE-733D-45A3-9F6F-43AA95FFA51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dfefed6395cca8e3e44d87da49b7c548d248e7","datavalue":{"value":{"amount":"+0.87170476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$A4416D10-8F3A-4051-A017-7CB5BED2F205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030e6762db5d0f9d7b993b10372c5510628ee176","datavalue":{"value":{"entity-type":"item","numeric-id":4875581,"id":"Q4875581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f4743d903cd72c233567c41f3d9d7568825b38","datavalue":{"value":{"amount":"+0.8648591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$2FC7DB28-6CB1-4F43-B2A3-868A3035D2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70635bb916742fe27e1787f5cf8e31e6e5321d5","datavalue":{"value":{"entity-type":"item","numeric-id":1284706,"id":"Q1284706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3c1658009685f7cae1521b43b57c684c76c6d3","datavalue":{"value":{"amount":"+0.8549037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$D0E1ED07-4DCE-49A2-918F-9378E7CFA616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffa4d4b211b9f67645c2b6a15f0eef4ec499014","datavalue":{"value":{"entity-type":"item","numeric-id":4517355,"id":"Q4517355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe3f90ba5594edd2430bab4f4e37e77c5224da0","datavalue":{"value":{"amount":"+0.85300267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$536DCFEC-0B4D-4311-9919-B6417DEB0DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f2f2a6c1dd9f64c248b53ce1e4138cd6b02287","datavalue":{"value":{"entity-type":"item","numeric-id":4304097,"id":"Q4304097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3696fedddc7a01813d704f950f5003506039143","datavalue":{"value":{"amount":"+0.8522896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560350$4893FA17-F3B4-415C-B2C6-EFED3A4C542B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4560350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4560350"}}}}}