{"entities":{"Q3819964":{"pageid":5849870,"ns":120,"title":"Item:Q3819964","lastrevid":53886500,"modified":"2026-01-25T21:27:41Z","type":"item","id":"Q3819964","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092732"}},"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":"Q3819964$B5D4504E-CD1C-40DD-ACAB-D4FD22F8F350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7423e4252dc24e60177b9915ac6b495b4e786508","datavalue":{"value":"0667.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819964$F47D72EA-7919-4A1A-8A27-0634777CA215","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"398d5a9bd6a3354a9e18d0e067838ab447814818","datavalue":{"value":{"entity-type":"item","numeric-id":2943210,"id":"Q2943210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819964$E8BDD8B3-E126-47BA-ADF1-904647B556E5","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":"Q3819964$1B3692F5-CFB1-4B89-B79E-185132188042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819964$548F7C7B-C9ED-4668-88FC-929E2755EE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819964$5C1E420F-CDDA-4DD3-8A24-BB6316C4751D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5a75a7fd66d3655e47a11e7966a31175a4634a2","datavalue":{"value":"4092732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819964$C073F106-72EC-4D7B-9FAD-2ADC0F3E6593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f3146304f3f326ffcecb47b4c6fb69d0673cd7","datavalue":{"value":"logical \\(\\Sigma\\)-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819964$F5FE6DA3-32DE-495D-AD54-B163220121F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d6f04583b41adb36eb0a30a9fe64b38ffc74dd","datavalue":{"value":"positive inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819964$0A405417-B8C5-427B-A6C1-86D694F40E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0224da968d67397b807001e1524493fc56b1bf","datavalue":{"value":"logical calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819964$34258443-4E94-4746-95ED-EA16168B471B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819964$48BDFCED-2F27-4B1B-98A1-41544FAA0235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819964$3BE834EC-387B-487E-88E5-F26D4E54E511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819964$C0881DE4-3536-43F5-8C24-A71AAD37F7E0","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":"Q3819964$02698AEF-D452-4B84-A7B1-67763203CB11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5596095dd99dd684b60d6ccd6f7910efb1630ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3980023,"id":"Q3980023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7494693bb98bf6107494ac851da4a7cacf673cf1","datavalue":{"value":{"amount":"+0.7784440517425537","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":"Q3819964$63F4B358-99F6-4719-A972-027031C90310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608587567dc783c77195136f631bb71d549245a8","datavalue":{"value":{"entity-type":"item","numeric-id":3757389,"id":"Q3757389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95dfd25e7a70f8219b56750e3b4d35d0a6b332b","datavalue":{"value":{"amount":"+0.7615161538124084","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":"Q3819964$6CFD9053-C452-47C1-AA6B-82EBC47A0582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba0d4263ea4e1b68a402c85e62ce1d414f05482","datavalue":{"value":{"entity-type":"item","numeric-id":3472084,"id":"Q3472084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cce5f2045a614a7263270b20880223779a9419b","datavalue":{"value":{"amount":"+0.7584502696990967","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":"Q3819964$061D346A-6C0B-47B4-AE81-8CA79E02FA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b55841b26113440e04e3504437d5dc775bf6519","datavalue":{"value":{"entity-type":"item","numeric-id":3432606,"id":"Q3432606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4dcfdf949c6cb994ff2dd67ff481669062b2b4","datavalue":{"value":{"amount":"+0.7579593658447266","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":"Q3819964$B391CEB8-04B6-46DD-B771-B3B103755BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4956237c2292ae4e1d018e0de297f0c3ebe3c03","datavalue":{"value":{"entity-type":"item","numeric-id":3830542,"id":"Q3830542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1f880a6e003229a3def349491504dd4313c1af","datavalue":{"value":{"amount":"+0.7565616965293884","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":"Q3819964$CDEF5F68-885B-49AA-B01E-8CBB33420E78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3819964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3819964"}}}}}