{"entities":{"Q3030249":{"pageid":3040965,"ns":120,"title":"Item:Q3030249","lastrevid":49095916,"modified":"2026-01-06T14:24:29Z","type":"item","id":"Q3030249","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018380"}},"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":"Q3030249$8CCA3668-0ECF-4073-92CC-054C8407D32D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11cf8d55a034b014669973f299bab960c5ab1681","datavalue":{"value":"0626.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030249$9936BBB7-8F6F-4EC4-B9F9-834AACF44E47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030249$E73104A3-27E6-45C5-9611-DE2CC6E5D23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030249$A15BE600-C3B7-4F66-806E-829360F2AF00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3030249$7882B417-75ED-4057-BD3D-AB94401E6A9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030249$1C01CF2E-7986-462F-B4BF-142B3470C49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030249$34EB085B-B6D8-477B-A3BF-6D576C032F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030249$5E4DD625-5A97-4836-ACE0-9AF37C690211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030249$B687B77E-2293-4170-97B3-D21D394A8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030249$179D823A-A336-458D-97F9-F7B062FE1CEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b63079428d06ce539a897b75e10ff8ba9413ef","datavalue":{"value":"4018380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030249$3352B287-185E-4CAE-9BA8-8619DB415DC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030249$098FB188-87A2-48AB-A0A4-51BDAB8EDCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ad8dcfdd00cf019d335faba48cd4a18b5c179d","datavalue":{"value":"model-theoretic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030249$6AB8D8F7-25F2-4629-B0C8-143173012B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5c1967043a06b95abb9045dfd1a79fd6b5bf82","datavalue":{"value":"semantics of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030249$9F6808D6-13A4-44C3-AAF1-30A7607D0214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17c6c5f1f39281a7c608e75e90e4767b3d32e0a","datavalue":{"value":"order-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030249$2BEFE102-42D2-4190-B145-0AFF2EFC2EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11ed6d65754dcf52b4b65748c1dc4b1ed8990ffd","datavalue":{"value":"Horn clause logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030249$EB2C86ED-13E1-4C6B-B822-18D0A6E92715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030249$8BE03539-1415-4905-8591-44458236B571","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":"Q3030249$AF88B564-F94A-43E1-B6C6-9AD51F766224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e4481174b06161ae2860ccfd73d21acab8420","datavalue":{"value":{"entity-type":"item","numeric-id":3780489,"id":"Q3780489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6534d20e800b01fcdd01bb5ad750b29ed2c69c1d","datavalue":{"value":{"amount":"+0.8248563408851624","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":"Q3030249$E4031812-D5A9-46A7-AEC9-572A99CB0C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24ebd94d861035b7feb2d3a5ca9ed9465057128","datavalue":{"value":{"amount":"+0.8074440360069275","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":"Q3030249$5BFBB0ED-5701-46A4-931E-188FC271CA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5319f5b52d27d5eea3aff0744f3c14bd5d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4428888,"id":"Q4428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99288570a2059f048f5a27f9b7cf4a31a7b2b928","datavalue":{"value":{"amount":"+0.793947696685791","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":"Q3030249$CBED37F9-4D06-4A1A-B7BC-A18596CAEABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f55a60addaf155f5c21794603291dfa94636384","datavalue":{"value":{"entity-type":"item","numeric-id":5903118,"id":"Q5903118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b431296b79b67d4dec6d066bc622d7d4486ee749","datavalue":{"value":{"amount":"+0.7915880084037781","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":"Q3030249$1504C994-B873-43DE-8682-2B82EA65163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3a2a87b342bfe34b4861569582dc0ccb475a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572712bf35853a41ccd07d16c6a40c2e48a52649","datavalue":{"value":{"amount":"+0.7900408506393433","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":"Q3030249$2A69D345-88C0-42F9-AAFD-C187450959FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3030249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3030249"}}}}}