{"entities":{"Q4592706":{"pageid":6622291,"ns":120,"title":"Item:Q4592706","lastrevid":58297521,"modified":"2026-04-04T15:08:41Z","type":"item","id":"Q4592706","labels":{"en":{"language":"en","value":"Finite model reasoning over existential rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803819"}},"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":"Q4592706$BA808124-F105-4BA1-8E1E-C57C745E1B3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cb5a640d6564f9bf5fc37dd25aa3030ec47a08b","datavalue":{"value":{"text":"Finite model reasoning over existential rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592706$B1640F30-B247-4B85-ABEE-0B1CFAEF1EF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23f27a27aecdfc6b04c21ca2335645c4d97dc4cb","datavalue":{"value":"1422.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592706$FD9109C8-3E65-4AAB-AD27-31BF795812B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8a2a2bfc5faa486288d418e7990733801aac80f","datavalue":{"value":"10.1017/S1471068417000369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592706$AEFAE891-F7BF-4B90-B1FA-4A4CE6A898A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5578db1004375120630bc5515362fc26d4fbbcb","datavalue":{"value":{"entity-type":"item","numeric-id":253989,"id":"Q253989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$EE6EA37A-30E2-48D2-A87B-2017EE7F3991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$E4D86149-7940-4C4B-9DF4-51DC1332EADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97b0d6fe2aa7aa4b8faa5e103f9d7757eab06fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2326743,"id":"Q2326743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$D6AAD1ED-9FE5-455B-957E-8EA21E9E0C70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$793C647B-7745-4D84-8915-830C548F9E34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592706$EA88B7F9-6694-4332-A19D-E0A90568AF71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19ee7765af21daa33fdfc7594d6f7af42001a8e7","datavalue":{"value":"https://arxiv.org/abs/1707.01870","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592706$35261BE3-4F60-47C4-9150-C36B3D044724","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592706$0E60C5EC-321B-4FF6-BE23-8FFE10AFDA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592706$B00EB4A6-CF92-409B-8A2A-7018A4FF4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592706$4EB5D413-0DD1-4C96-8A28-E2334209D92F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5017b1849fed633d1d0e3ef93ecb77b26533e04","datavalue":{"value":"6803819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592706$5D2D5BA8-FDA0-47CA-83F1-D41A36148462","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362b008192ad2726ca89a6a0dd1599cef594d27b","datavalue":{"value":"existential rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592706$1A7C7B5F-A3C2-417E-83D9-87944DB84BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592706$4614BB51-C563-40D4-9521-D8D7E3B1A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09090027d594f6e86eaec64ce859f94b54cdb822","datavalue":{"value":"finite controllability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592706$36985B40-6C3E-40E0-8066-DC4229DE66CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68eaf9cf4096e380b6d8b94333a6ad2478558c4f","datavalue":{"value":"finite model reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592706$9B434618-72DD-4F3A-876C-EE0278061F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b081878994e2445e3a32d39ccc4426c879c9e866","datavalue":{"value":"query answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592706$4BEA35CA-1DD6-4020-96FB-FF222AFF03C9","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":"Q4592706$BC821DCE-61F1-402F-B8FF-FFC74A913D44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$FE232828-6985-4D09-A9EC-C12BDE3B694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52798ad66a5945a840926a04847c8a04a768266d","datavalue":{"value":{"entity-type":"item","numeric-id":646515,"id":"Q646515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$330C13B6-0351-45FA-9BB8-DB93B683892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfd99f7406911f4e1a2982cc954412d01cd0ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5417742,"id":"Q5417742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$2B2FFD13-45E8-44BA-B9A0-3D6170EEC821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114435c252a8610f347a9e06345bbd9bd1d2e43f","datavalue":{"value":{"entity-type":"item","numeric-id":5012511,"id":"Q5012511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$6AE53EBB-3F76-4D5B-A9B2-3990E0A2E47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb29dc1eaaacbc661ec5c632b8e5b071b4c507","datavalue":{"value":{"entity-type":"item","numeric-id":5012571,"id":"Q5012571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$55FC16DB-7B96-41B5-8D28-B8CDACBEA7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ba76dcfcbe220af9d91fc7d90770cf9d9dc397","datavalue":{"value":{"entity-type":"item","numeric-id":2856474,"id":"Q2856474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$556EDAB1-FF80-4C89-A504-8C3E4616A10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf598e340b3d851addaaa66fd5cff7646af1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":359987,"id":"Q359987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$F740099D-AEC3-447B-9D42-3CF7AAA6B929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eceb7b97dcc82d60974e861e87df10d0134415c","datavalue":{"value":{"entity-type":"item","numeric-id":3983046,"id":"Q3983046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$3F4715A1-3157-42A1-9ED3-75092C1A6842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db1165ce65b83c0dabf24def36bf5bc324f31","datavalue":{"value":{"entity-type":"item","numeric-id":555772,"id":"Q555772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$8B0A2232-ACFE-4065-A41F-7111EB98BF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877bdbbf04a74a14c02996b319a19d90dffc5cac","datavalue":{"value":{"entity-type":"item","numeric-id":5271092,"id":"Q5271092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$6A80D7D3-0D4C-41B5-9F18-1576D369FF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5792841485d7f3ae439eacc736c55492e0a6fe2","datavalue":{"value":{"entity-type":"item","numeric-id":314825,"id":"Q314825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$DD749874-89E4-4A79-BC00-537CB92288F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12169c9d059814d70c048f5f6d984e580410a616","datavalue":{"value":{"entity-type":"item","numeric-id":2453744,"id":"Q2453744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$F0BDCC93-1032-4470-BE04-BDD0B5ECD18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cb85bcd5fe1b8f08c99fe3734a2eee515aead8","datavalue":{"value":{"entity-type":"item","numeric-id":5398317,"id":"Q5398317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$96BA771B-5875-42DF-8C16-FDD7C1271098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ed7009ba00cdddce721d4ffdd4032fca765049","datavalue":{"value":{"entity-type":"item","numeric-id":5012503,"id":"Q5012503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$CD939208-0856-41B7-A262-31D0EFEB9CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63939d258f9f4f9fd6dd3035ddf113ed289f1964","datavalue":{"value":{"entity-type":"item","numeric-id":5327441,"id":"Q5327441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$13655CAD-D2F5-4B28-B559-C86FA2E1129D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee887e27045cc2972dfe2a53782c3e858abdcc8","datavalue":{"value":{"entity-type":"item","numeric-id":1057666,"id":"Q1057666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592706$D83CC8C6-A1D0-46A6-838B-76220E66D4F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1078ea317a62c62f34efb7eff83b4a2330c5b570","datavalue":{"value":"W2963287580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592706$BC38FF43-0221-4627-9922-A3BF603DE422","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3229982dd45342a213554412a648e17118bddc","datavalue":{"value":{"entity-type":"item","numeric-id":5222877,"id":"Q5222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bed980a5b0a596160721b81bd219ffc33b8ae8d","datavalue":{"value":{"amount":"+0.8072822690010071","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":"Q4592706$BCE6FEB6-4273-468F-993D-B3062BE77EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8601848006e382e4df2624f1d81db7ffb71178","datavalue":{"value":{"entity-type":"item","numeric-id":359987,"id":"Q359987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f9882e010f805b7b8624fbf1fb84a9b95215b9","datavalue":{"value":{"amount":"+0.7783845663070679","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":"Q4592706$0FA978DF-CB5D-4551-8ABF-A0A8F6F921A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5a74274c0133306f5fdf3111723eee128a3915","datavalue":{"value":{"entity-type":"item","numeric-id":2912705,"id":"Q2912705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf55e4b9c61aec1b14e03738d5dee2d37baefe91","datavalue":{"value":{"amount":"+0.7621627449989319","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":"Q4592706$93D90A90-DA1E-490E-A51E-2E7B07BB2E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db3ad3350de2212702235a5f21e3a37d21ad6cf","datavalue":{"value":{"entity-type":"item","numeric-id":314825,"id":"Q314825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b9ce3a7de05a54739af2b1337321ffc4b4df88","datavalue":{"value":{"amount":"+0.752830982208252","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":"Q4592706$03811E1B-7430-4FDB-AA69-2A1D406E865B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17300b061e651e0c491d212c023ae3c1b7148e03","datavalue":{"value":{"entity-type":"item","numeric-id":5282952,"id":"Q5282952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726b98966364922091a27dd889c33f1af3df6875","datavalue":{"value":{"amount":"+0.7464904189109802","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":"Q4592706$AF36F503-3744-4528-A1E3-16D8AE05BAF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592706"}}}}}