{"entities":{"Q4039734":{"pageid":6069452,"ns":120,"title":"Item:Q4039734","lastrevid":55253536,"modified":"2026-02-05T08:57:55Z","type":"item","id":"Q4039734","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 192840"}},"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":"Q4039734$BC1D349D-79FF-42BD-BD38-2FE2A4A6617B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"141adbf97a3eb0d250533098cda6a1309d1a48e1","datavalue":{"value":"0637.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$DD45EB4D-5E97-4526-ACBB-EDE4C9734230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec995cf4a2440dc24ca8754a41de071ae195878","datavalue":{"value":{"entity-type":"item","numeric-id":762179,"id":"Q762179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039734$FE3D510E-0329-48AB-B259-2C1455B5D7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116d98730e2f36e09b578769ef51bae5ebd20956","datavalue":{"value":{"entity-type":"item","numeric-id":1096422,"id":"Q1096422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039734$442684C8-3870-4E4F-AED4-737E6F30E034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4039734$D32F02DE-3105-4D9B-9DFC-7C445A5C4C12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$D9A56579-9820-4E81-8778-CA192D85D305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$79514783-F1E8-4E28-9DDB-70566E5A6F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$9A192902-4C0B-4161-9F8C-D7AD0B5C3CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$1D7EA396-22D1-4902-861E-C46E916EBC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$BF9ADDF1-198C-4879-9FD8-FE85348C0246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$31359BBB-837D-4647-9D9A-A558E05B4C5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32b27e7353a58e5e60cc010c99f5963aa45db103","datavalue":{"value":"192840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039734$D7CFC8AF-6276-43ED-B4A5-17022F76E112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039734$9E84406B-3E14-4ADC-A530-81DA88505218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039734$560ED6F1-6E52-4293-A798-F29A4040090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039734$7B9EE916-534C-4AF5-9D04-4D3848E5FED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc97e7553dabf9c0415bb1f438ec1d645475b0fe","datavalue":{"value":"implementation techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039734$57C77B0D-9A01-4687-AFF4-12FE1AD1D41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039734$0B3A34D8-8B0B-40BA-A711-34AF4884D987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf17424374626c71e23a62025eb8d358199b9e81","datavalue":{"value":"problem-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039734$852E2DDD-556D-496F-B31F-04C229882B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03158307b01a6e2de96f5585d7a65d8e1a522aae","datavalue":{"value":"resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039734$708EA1E2-CECB-4E7E-A1A1-AD05BC8271AA","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":"Q4039734$C9AB830B-8A47-4BDB-9D55-236F09080F00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b928589f5a99239dd70848972b8352bb3003acfd","datavalue":{"value":{"entity-type":"item","numeric-id":4868062,"id":"Q4868062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90dca1ea172e0795b72475face2a440344703aa","datavalue":{"value":{"amount":"+0.8561578989028931","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":"Q4039734$73F151B8-6A57-495C-BF75-C3A60B9ADA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01de59a4d818a7d17fe4d7e1b67577fd4abe510","datavalue":{"value":{"entity-type":"item","numeric-id":4715509,"id":"Q4715509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90dca1ea172e0795b72475face2a440344703aa","datavalue":{"value":{"amount":"+0.8561578989028931","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":"Q4039734$D1570845-96ED-455C-B047-327F84B71228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e4025334441a53a3f698d2cf9c50a049ccad31","datavalue":{"value":{"entity-type":"item","numeric-id":3999019,"id":"Q3999019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f96abb3585b9c919927edab5e9c45fefaff034","datavalue":{"value":{"amount":"+0.8517666459083557","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":"Q4039734$1FEDAF2C-4D40-4542-991E-9F8C2960023B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3dc1abba343650c0189a609cb541cb9f53e71","datavalue":{"value":{"entity-type":"item","numeric-id":3998267,"id":"Q3998267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c0b35ead5a2e5648b7a3848a60ac875f80cc45","datavalue":{"value":{"amount":"+0.8491528630256653","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":"Q4039734$FD847ADA-C632-4A2F-B591-C666D68808FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a220dfb8cae3643bd534a3da77ffb94fa9a8a709","datavalue":{"value":{"entity-type":"item","numeric-id":3690195,"id":"Q3690195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ddf097fafb6e7c3594b511ff2289f55a1a3eae","datavalue":{"value":{"amount":"+0.8397262692451477","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":"Q4039734$344173F4-3F89-48CC-936E-6889F9FC6D09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4039734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4039734"}}}}}