{"entities":{"Q3939267":{"pageid":5969172,"ns":120,"title":"Item:Q3939267","lastrevid":55043278,"modified":"2026-02-03T03:02:55Z","type":"item","id":"Q3939267","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3755907"}},"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":"Q3939267$957F7080-EE61-4F7C-A656-19F4D60C2FE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7bfbf1ca398f7b38ae63e65ade9ec98aa1e69ab","datavalue":{"value":"0481.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939267$2679BD72-B9F5-421D-AA2A-BE9232DA91BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"229e6537ac58fb8f8a37c79f4032d5be92f51b04","datavalue":{"value":{"entity-type":"item","numeric-id":1225468,"id":"Q1225468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939267$2111AB91-7198-4A3B-83D0-99B70ED46CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac515437f3fdd2fc432320a57a78657f8b662d13","datavalue":{"value":{"entity-type":"item","numeric-id":3221965,"id":"Q3221965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939267$D3974DF0-D6E3-4A3D-BDFF-168A3282D0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed149779f2df5d1dc5785fc35442c97f7e3972d","datavalue":{"value":{"entity-type":"item","numeric-id":816726,"id":"Q816726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939267$BCAAFF29-1A93-49F5-8ECF-1D7C9C3F800E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3939267$EC04141B-7611-4663-B17E-76971B6FB0E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939267$55CC82D0-DE45-461F-9D72-461A4ED3DCBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a413f238537dbeb0cacf5057d5fe8e34590fac48","datavalue":{"value":"3755907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939267$9B4C6C4A-4540-4E1B-BE4A-B7CE6D42BD9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"499804eedcdc2884be0f9eff117736601c62a506","datavalue":{"value":"fully distributed fault-tolerant system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939267$8F7963C4-67CC-4EB0-B5C2-069EE0CBEF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6f146fffb563aa256298d33e4ef40b1673ea380","datavalue":{"value":"specification and verification of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939267$BE5CD81F-9840-47D0-9285-64BBF1EDD821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f61af7956d506b0b05bc1fec2bfcc861306b34","datavalue":{"value":"extension of multisorted first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939267$C8937CB4-BE96-4563-8C53-CB9D0E65285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2402e41f152774ad87c07426c3994e79f4fd1c3","datavalue":{"value":"type parametrization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939267$1C45DD22-F48F-47AB-8664-008FA803EEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8683e43e983afd19d7b50ae825c4c9c2eb416c","datavalue":{"value":"type hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939267$A9950805-2AD4-4D3A-961B-33DFA74FB7E7","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":"Q3939267$37FF1350-66F8-4316-959B-65FA7D71F414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3939267","badges":[]}}}}}