{"entities":{"Q4023900":{"pageid":6053664,"ns":120,"title":"Item:Q4023900","lastrevid":55208983,"modified":"2026-02-04T20:17:04Z","type":"item","id":"Q4023900","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108434"}},"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":"Q4023900$C2E63D55-69E2-46EC-8BF8-B075F4578541","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fb92637f1816b9ee2d450892a7d48868bf3c015","datavalue":{"value":"0777.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$FA72FF40-254B-470C-AE10-28A684AAFB59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4023900$0EE80FDD-10A3-49C7-988F-3BE35F08DDBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$A337BE3F-9FB6-4A65-A392-0535CE82023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$A8CA5CEE-566B-42FE-B21B-D50F1C375EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$646323B3-65D0-427A-8663-26016DE0AEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$DD35D261-F646-4D97-9B2B-2D584D31A05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$141597D0-5500-4F0E-9D76-C8185DD94804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$622C1338-86EB-42FA-8422-65F9A1DEDBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$ADEFCF49-1FC0-4470-B1F8-D22656D20E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$DE61F462-A4C0-4711-9A0E-DB239CE4109E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1f60820bdc20052e11b256ea6cfa7f86c1bf14","datavalue":{"value":"108434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023900$24D25ACB-CC3D-440C-A802-B5BE736A7D66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$400AA09C-4A94-4B31-BECE-778B4D9FE268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9a62a2f35cd3afb297de94a11f597aa2ae03e8","datavalue":{"value":"Computational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$B553A27B-6EDC-437E-94F3-CCD870CAF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$C71B3102-DADA-4581-A308-BA2E5AFB788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$F86F869D-A9F4-4915-AF90-2DCC76E31F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e352599b67dfca7ae0a807a2c9e8e2b14da9766e","datavalue":{"value":"lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$7212619E-3A06-4CC7-8CFC-128CFEE39864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d612fc999012f0452fab5176ec2cb0fcf94aa441","datavalue":{"value":"algorithmic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$BD03E683-BD5F-4D69-804E-C72EADABEDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$390310DB-E2B0-4DD2-A4A0-37A9E671E258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde95d48e71252335def28166702d31b6ebbaa18","datavalue":{"value":"modal and temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023900$31C74A2B-16B6-47C3-A0BB-9952D199D599","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023900$E8ABFF63-C9A6-4EA5-A86C-007B808C1909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023900$AB0E8DA5-94F6-4F7A-A103-1E09070612DA","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":"Q4023900$876813FB-203C-4600-B200-19E8586A09BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ce1360b4e17a0de5c4f99b408798d0e6f1e746","datavalue":{"value":{"entity-type":"item","numeric-id":4002242,"id":"Q4002242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7967fecc9b1c1b0762a5ce46cb7b8c0b28da2b0","datavalue":{"value":{"amount":"+0.7894819974899292","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":"Q4023900$1DC70DD4-D65C-4E74-BE3A-7C1ED925B063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136706f71430cbca3116c00860c4f53a3f9eceb7","datavalue":{"value":{"amount":"+0.7860348224639893","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":"Q4023900$D0AE55C9-9070-4B2B-98D6-1833EA3851FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff50c48f2323365f51cd5ac298e16780580bb1fc","datavalue":{"value":{"entity-type":"item","numeric-id":4296948,"id":"Q4296948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16003d273d3908d590d309443f8b754550ab33e8","datavalue":{"value":{"amount":"+0.7694158554077148","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":"Q4023900$6ADC07C8-DFD8-4306-9B75-65F4B721D1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e669841ea759d0f3913fb9339407e56b6604eb8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6958006991f52953da4a003de51be103c52dd7e3","datavalue":{"value":{"amount":"+0.7686475515365601","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":"Q4023900$7793ACB9-6485-4081-8AD8-B5B7C99B30C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25709f1c79d195279801d2058c0ab6c72c260665","datavalue":{"value":{"entity-type":"item","numeric-id":3999469,"id":"Q3999469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4a7a547578fe8177756052cef6a6f9fb178748","datavalue":{"value":{"amount":"+0.7680870890617371","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":"Q4023900$8D3FDD81-5C92-41D7-B548-72886FC5D9C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4023900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4023900"}}}}}