{"entities":{"Q3814796":{"pageid":5844702,"ns":120,"title":"Item:Q3814796","lastrevid":53755574,"modified":"2026-01-25T16:21:29Z","type":"item","id":"Q3814796","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085004"}},"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":"Q3814796$A7BAC79F-C05D-470F-8BE3-3E6AC90067DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"611b9dc47c13083a6d7a0f83de7068d0eb83fcfe","datavalue":{"value":"0663.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814796$50C19FF8-A99E-495F-960A-67E799272314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3814796$44A14B08-06B0-4B73-933D-2D784F99B69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"465916b21c4df3873b1fb206b35b9ffb3c6b8ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3814795,"id":"Q3814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3814796$9F4D8EE2-9777-4E31-AF15-4B6D5A6A4D93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3814796$DEBB4412-F01A-407A-97BF-66F82CA6D4E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814796$6B3AF751-6DB1-4DE9-A280-E7FEE2C288F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814796$0EB87E88-A69F-4389-B4E2-C448A9C58B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814796$D4AD06EE-5579-4D64-B0C3-B2526FDB858D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814796$D9A1CEF4-B439-4FBB-87CD-0A0B95C0B912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2309946f553e666696724bba21c188364ccf50ba","datavalue":{"value":"4085004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814796$0243DE45-912A-44E2-96D8-3FEDFD60FB79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814796$C36BB54A-5337-4937-B1A5-46336ED00F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814796$7E6E3CDD-1AFA-4F4F-8A9A-FEB87B9478AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fa558c55e00bd4364107c918bdebc3440a1590","datavalue":{"value":"AE-paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814796$5AAEE407-AFE7-4E93-8198-BE8AE846D92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a401abe314abbe95127f1741a969a81fc45712d","datavalue":{"value":"Skolem paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814796$EACDAD6D-A3D2-475A-A1B8-4A3BE48EDF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a620ccba02baf9016a8145a4af6fd23857552e3a","datavalue":{"value":"constructive proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814796$806EBC15-6D3A-4199-AC55-1FA8D3DADFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46617f3906af5ebc3c6e4d8296b78d5c16027382","datavalue":{"value":"reactive module","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814796$5D25098E-D071-4F56-A060-CE3A37FF4C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305c65494d0d12ef65f1ec94888c98a3521fac71","datavalue":{"value":"tree models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814796$FC955C2F-245D-452F-96F6-BB58EEA8760A","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":"Q3814796$8EE220C9-7556-41BD-A156-124E030CA367","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c255db051d96037fdab45204b4f7f4d94d800c","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3156a7533f115a74ba2447a500efa26f979aca0b","datavalue":{"value":{"amount":"+0.8881749510765076","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":"Q3814796$FDD6807A-40B5-461B-A89F-A7949342172B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8559a7db05308ecd3364c147eded68be4840a39","datavalue":{"value":{"amount":"+0.8377570509910583","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":"Q3814796$B53F0649-0C23-4A11-8992-601E34B889B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fb24e4a486edb1581e524bdb998cc6d524511f","datavalue":{"value":{"amount":"+0.783864438533783","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":"Q3814796$676793B4-F207-4CE7-9716-6E4135E91E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f0cef685c6633765d07dd220d772536a1b2446","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276ffafb5e5b5c23427aeffd8d6e25513f5e855e","datavalue":{"value":{"amount":"+0.782721221446991","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":"Q3814796$5A943E4C-193E-4FD8-BDEF-711EF41AD965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0a64a02caf70ac14f7070bf11a7ab917c2140","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccb04694cc1e712652b3414f11c649ac120e582","datavalue":{"value":{"amount":"+0.7725536227226257","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":"Q3814796$BA89D421-BDF6-43F9-A28F-3500DC69FDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3814796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3814796"}}}}}