{"entities":{"Q4013773":{"pageid":6043569,"ns":120,"title":"Item:Q4013773","lastrevid":55177654,"modified":"2026-02-04T11:36:51Z","type":"item","id":"Q4013773","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67821"}},"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":"Q4013773$506427C1-5013-4C80-AD21-8D5AD05F2D5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af513116952ad78df697a328ee2e9551dce85521","datavalue":{"value":"0749.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013773$FC62A92D-06FE-43FB-BFD6-B1087A896EAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed3d8ab05233f431dcdbad1e0687426441c617b","datavalue":{"value":{"entity-type":"item","numeric-id":421475,"id":"Q421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013773$1AF27D26-3FF1-41CE-A952-FF0FAA1091FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1dce9be32f4941854ce2f5e5fdb7f42669e4549","datavalue":{"value":{"entity-type":"item","numeric-id":1314416,"id":"Q1314416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013773$C5544D2D-27B3-4698-A18E-9596D98F0911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db80ec4965b40d9874ffef2a755df757b1d98c70","datavalue":{"value":{"entity-type":"item","numeric-id":646500,"id":"Q646500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013773$9C8B406A-FE95-4D71-916A-8925D2B4EE87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4013773$1C12710B-90C4-411F-B154-5E698B54B13C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013773$F5D091A9-C302-4F06-8145-4FA902866D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013773$80D04749-729C-4F6A-A9BE-8AA6F11C81F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013773$BB79A9E4-D430-40F3-9950-DA6E9D056790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013773$98EF0869-950F-4544-A3D4-50FFD1F6005B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f99d94052298ff04cbe3a5803a2c5dd9881aafb1","datavalue":{"value":"67821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013773$0FD49296-07C8-4E2B-B50F-A94F0F9AD710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e632a902cd04ef1a06807c80d844a2d73585c04c","datavalue":{"value":"3-valued logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013773$D97549D9-B328-42C7-9D76-0939DFFA3ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e07ab4503bd5a734615649d3e1f9bd1f3450698","datavalue":{"value":"derivation proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013773$CF1EDC4E-B544-4DCF-955A-5EEDA50484DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadad65b43949669d96cc7d757ba48ed12ec6c93","datavalue":{"value":"extended stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013773$9FE53729-8A0A-4A05-8B58-4420A08AD133","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":"Q4013773$A31322BD-B1B8-4D75-A39B-79288F8A9767","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627adb2288984c78d1c22913cd3d83588847081e","datavalue":{"value":{"entity-type":"item","numeric-id":5958767,"id":"Q5958767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12be8559a94f0898ba76b009e3b6f36c3ba89de","datavalue":{"value":{"amount":"+0.7903522849082947","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":"Q4013773$35D46D81-599D-4205-9A60-4A043B2DC2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bbc78f273bc3db352608a5ecc97766108dc8ba","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0db8ad7549f110ae1b98aa4edb814919c14359","datavalue":{"value":{"amount":"+0.7883026003837585","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":"Q4013773$F34937E2-2DCF-40C7-8F23-C2A655C09120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3925c7c4e0a8f41506391c16a97de7963775ae78","datavalue":{"value":{"entity-type":"item","numeric-id":3128616,"id":"Q3128616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b966de0d76be53c3e898a2c5669e9b20529d39b8","datavalue":{"value":{"amount":"+0.7665022611618042","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":"Q4013773$48F1F61F-87AA-49E8-871A-32511227966B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144b448cef417e721827f2b5a666c42ab216de84","datavalue":{"value":{"entity-type":"item","numeric-id":5956119,"id":"Q5956119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b614b7204015e742120463656e6e6ab487e3e6","datavalue":{"value":{"amount":"+0.7619542479515076","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":"Q4013773$4EAB95F9-D0A5-41DE-95D3-AEAE55B19B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae085a93995dbcabf0e0fa464c419116062a0eb","datavalue":{"value":{"entity-type":"item","numeric-id":1295428,"id":"Q1295428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4c12488cf50c59b136d3c61df87ea64091be14","datavalue":{"value":{"amount":"+0.7601680755615234","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":"Q4013773$7EFC9F49-00E5-4C94-B52D-07E908BDE240","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013773"}}}}}