{"entities":{"Q5137006":{"pageid":7166577,"ns":120,"title":"Item:Q5137006","lastrevid":53879552,"modified":"2026-01-25T21:09:52Z","type":"item","id":"Q5137006","labels":{"en":{"language":"en","value":"Generating diagnostic information for behavioral preorders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7279505"}},"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":"Q5137006$D3E31B64-1D24-4424-A3A4-5EF4668C0758","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca41868e80e14220012e68e4f92cab9021503088","datavalue":{"value":{"text":"Generating diagnostic information for behavioral preorders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5137006$B4F83D89-4065-4FB6-AFD6-9DDCD788AFF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc94cb93d2404a71ca2ab4cb487261be07022314","datavalue":{"value":"1448.68334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137006$4E1F5169-9DC7-4B5E-9FAE-C32C5184379E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a36cdc2db97ff75a96d36c64d35d3a868d9e863","datavalue":{"value":{"entity-type":"item","numeric-id":5137005,"id":"Q5137005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$1B740C44-D0DC-4AF0-AE32-B1BC10FD5572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$B80D74AC-231A-4236-8336-F15378B7B36E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$C08BA67D-42B2-4BC8-9411-437FC90606FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7232e8c520a019a5e6fb689786b64e5bfb51e5b5","datavalue":{"value":{"time":"+2020-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5137006$3A5D2446-076A-4876-BBB1-A7E510D7C7E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137006$3E910791-D15B-421B-A12D-B5206497C560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137006$A0264696-39A9-4EB8-8EC3-CE01C9BE9BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c43978a0fe75008ede83f8f4229a538c5ebe376","datavalue":{"value":"7279505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137006$7C8E4C7A-D10F-443F-9E3A-B6DFDB239930","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137006$5F37BCD9-F168-4A30-A79F-FCCF8000869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137006$96F9B558-8B36-4AC0-9386-0212EA1B5655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3272cda46ecbd05c5b4db7149aa03380185220","datavalue":{"value":"verification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137006$3B194ED5-3937-4E27-819C-19A93BEF2389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2003496f989f52f10d8eb5f5940609debfc871","datavalue":{"value":"finite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137006$10A35E82-2A0C-4809-98D5-E2456A4B8DE6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$17440C65-592C-48EF-8831-E60C74403BCC","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":"Q5137006$CC111401-01F3-4B02-9BFB-78516F70FA68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"918502ef5a22723fabef8ffcf8dd86f009172235","datavalue":{"value":"https://doi.org/10.1007/s004460050010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137006$56D70F6A-FB0D-436B-80AA-6105AB402D51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb3734d3e68a42d359fdee91e754fbcb5fecb837","datavalue":{"value":"W2002054615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137006$707AF996-DA51-45B1-9AB1-1DAEA33876E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$625E90CE-497E-42E0-A142-B93BE74B2930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$87F9DA8D-5CA7-4005-B2CA-29E8DF22E465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$D601EDBE-FB0D-4833-BDDC-9B18647589E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$3FA7489B-FDEB-4AB1-B776-CC0976AEC923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$1B73F04B-6C22-4B05-BD11-AF8EB1A06376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63a6f79a14efad928fe8e487c963f37b2a8003","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$A1B34686-B98B-4677-B2B0-1DFE2D63E5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$95F7F7AB-4E1B-4FFD-A338-4E1C3346AD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$D74A3114-99DD-4D74-A7D2-DF3345BFC3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$9CE2475A-8DA1-4634-BB0D-DB66AE801DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$DCECCFCD-BF40-4E9A-A8AF-59B3F81D6254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$83370C07-6CAA-4F2F-BC37-B0EB788F0E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$BF8CA1D7-F625-4078-AA2D-F529D7E43043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$F1E31133-4A8E-4217-869F-99244A4D22C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97415da448f0be84ca8b8e79f7fdaafc918e512","datavalue":{"value":{"entity-type":"item","numeric-id":3795197,"id":"Q3795197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$2AC1B073-1E81-42F9-9DD2-2FA0A972AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$D5FD971F-913C-482E-B489-45AD3B6EF053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137006$46A5BC05-DF4A-4398-9E99-F2B6CE3ADB36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b91296775cd60ec6391db05097990826c73a1142","datavalue":{"value":"10.1007/S004460050010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137006$F212C980-C467-486D-8576-B3513434FB25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0202b6ae7e5f7e450ebc082c20d82b1760e55d8","datavalue":{"value":{"entity-type":"item","numeric-id":4710016,"id":"Q4710016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9249c2fadbf68ae272108601af1b671f1b72b428","datavalue":{"value":{"amount":"+0.7073149085044861","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":"Q5137006$80900C13-0BAE-4E8A-B945-4C0D6F34EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f83e29bf6c34a90f4e6bb85e48b2ab4da986e3","datavalue":{"value":{"entity-type":"item","numeric-id":4518897,"id":"Q4518897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2b5dcf22c2f19add87b40a83f9d1f9b7237346","datavalue":{"value":{"amount":"+0.6834502816200256","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":"Q5137006$9BA7706B-E14A-42A8-AE2B-58A455EC4C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19df23a03534d66f28a60afd02a8bbc2eae6dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7a7a3301546f90e9923bcfbc8cc15bf336238a","datavalue":{"value":{"amount":"+0.683415949344635","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":"Q5137006$88DD1752-E967-45E1-8759-156108A1FB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce89545646c9c764393ed9c5a8cda6ab577c33a","datavalue":{"value":{"entity-type":"item","numeric-id":4037118,"id":"Q4037118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c716a7da2a1bbfd63fa8630e33a1427a73020a62","datavalue":{"value":{"amount":"+0.6790512800216675","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":"Q5137006$CBEE5470-EE3B-4FDD-8BF2-729C67D4E1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f43ad5f9ab89ce260c3da6209e9f27e4c5ec3e5","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c716a7da2a1bbfd63fa8630e33a1427a73020a62","datavalue":{"value":{"amount":"+0.6790512800216675","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":"Q5137006$433A1A3A-183B-4922-8794-96562B062D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5137006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5137006"}}}}}