{"entities":{"Q4501581":{"pageid":6531174,"ns":120,"title":"Item:Q4501581","lastrevid":47014779,"modified":"2025-12-26T01:28:25Z","type":"item","id":"Q4501581","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500560"}},"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":"Q4501581$149C200B-E0D3-4E37-833A-CD9D0DB36244","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bb8ced77bcacab877b316c629385ee028a6d553","datavalue":{"value":"0954.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501581$54BE0E80-2A6B-4325-816B-4AA211497080","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c0443f0edbf8f4ec931e74251dadf50845060","datavalue":{"value":{"entity-type":"item","numeric-id":439022,"id":"Q439022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501581$2D5A0976-3310-497D-ABC8-D07D8E5E99D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97286bf605679b771bab76fab6a9e1d3c6857bed","datavalue":{"value":{"entity-type":"item","numeric-id":4501580,"id":"Q4501580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501581$D71ED263-F8A1-40E7-B89E-ECF4730C01BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501581$DE610D9B-F5D3-410E-9B62-0D0BB59B9509","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501581$5DBB2912-5FAB-427E-A7E8-A21678B8899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501581$A6A1D264-E90E-4AC3-823B-96711A3A9FE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4b0bf86dfc4310b58877f6d5f09935e24edbc8d","datavalue":{"value":"1500560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501581$347C16B3-1F10-49A7-B195-54D465BCA0C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64db7ba32f2a0c7926ef95e0d36df690389d3809","datavalue":{"value":"acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501581$8F73B123-9E80-42C6-978D-5280D51C1DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"348df1ca01780cc999043bea92ddc21f3fd03b27","datavalue":{"value":"lemma facility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501581$A691C7AC-03DE-4280-B69F-463DD65BE8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1550a192b386a936004623b8afce858366bd7328","datavalue":{"value":"top-down theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501581$B04277E3-4C79-4E4C-A482-D25F792C3251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678e269b1d346f16b6d177c91ba5adb22aee9517","datavalue":{"value":"model elimination calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501581$0410C76C-C9D8-4C40-8574-CFC990B7BDC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501581$D7A3531D-FE7E-4879-B0A2-8FC5CFFE08BE","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":"Q4501581$FA2C51D4-98EB-4B4B-91EE-A2236240AE67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd13c5579dca73c0f4caad1f3934529b31f1ac08","datavalue":{"value":{"entity-type":"item","numeric-id":1367083,"id":"Q1367083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fcf7f907247ba1f7a6b80f5caf668f50b3b58f","datavalue":{"value":{"amount":"+0.8308581709861755","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":"Q4501581$F6DC687B-770A-403E-AA26-298C60ED7AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0962acf8f7202e07371029bf69759661fb30456","datavalue":{"value":{"entity-type":"item","numeric-id":5234698,"id":"Q5234698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af982a36d2b54bbe4bdf27792d6df52de5b59bb1","datavalue":{"value":{"amount":"+0.8157705068588257","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":"Q4501581$35D18711-BE94-45DB-8A80-BB2AF05DCB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc13b8c60f11707289dd6c9f344642d5f4e6f46","datavalue":{"value":{"entity-type":"item","numeric-id":1978019,"id":"Q1978019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ec14aaa7f7c7daae778e31cba3b58c686d3412","datavalue":{"value":{"amount":"+0.8043195605278015","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":"Q4501581$64E4EAD3-F254-45F0-A2DB-DFBC6E0740FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37e6bc1ff1c304acb48d69ae63e3dcff635d47a","datavalue":{"value":{"entity-type":"item","numeric-id":1430298,"id":"Q1430298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c5f773f4b1e583384d3aa0ce5a9193000f7b12","datavalue":{"value":{"amount":"+0.8035442233085632","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":"Q4501581$379815FB-78FB-4F06-8E29-125151A778A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eb074edb079cee991e695dd0ad4ded7c688cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4012176,"id":"Q4012176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1233bf9215ca34dc202036267cf800a95313b01","datavalue":{"value":{"amount":"+0.7864587306976318","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":"Q4501581$2A861576-B33A-406F-AE20-329B908CA276","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501581"}}}}}